Nuprl Definition : ma-interface-val
11,40
postcript
pdf
ma-interface-val(
es
;
X
;
e
)
== let
ds
,
F
=
X
(loc(
e
)) in let
V
,
f
=
F
(kind(
e
)) in
f
((state when
e
),val(
e
))
latex
clarification:
ma-interface-val(
es
;
X
;
e
)
== let
ds
,
F
=
X
IdDeq(es-loc(
es
;
e
))
==
in
==
let
V
,
f
=
F
KindDeq(es-kind(
es
;
e
)) in
f
(es-state-when(
es
;
e
),es-val(
es
;
e
))
latex
Definitions
IdDeq
,
loc(
e
)
,
let
x
,
y
=
A
in
B
(
x
;
y
)
,
f
(
x
)
,
KindDeq
,
kind(
e
)
,
f
(
a
)
,
(state when
e
)
,
val(
e
)
FDL editor aliases
ma-interface-val
origin